$\forall$$T$:Type, $x$:$T$. ($x$ $\in$! nil) $\Leftrightarrow$ False